已知不等式lnx>a+(2/x)